((v8 v1 0) (v10 v4 1) (v6 v9 2) (v9 v5 4) (v7 v8 1) (v1 v7 5) (v8 v10 2) (v9 v8 7) (v3 v5 5) (v8 v4 2) (v6 v3 5) (v7 v6 2) (v10 v1 0) (v9 v1 5) (v2 v8 6) (v7 v9 8) (v10 v5 3) (v4 v2 7) (v10 v7 5) (v7 v4 0) (v9 v3 5) (v4 v1 9) (v5 v6 9) (v5 v7 1) (v2 v3 1) (v5 v1 8) (v4 v5 4) (v4 v3 6) (v5 v2 3) (v9 v2 4) (v10 v9 7))
88
((v9 v7) (v8 v7) (v10 v7) (v4 v7))